/*
 * Copyright (c) 2021
 * Gustavo Valiente gustavo.valiente@protonmail.com
 * Licensed under the Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) license
 */

#ifndef FR_STAGE_1_EASY_FORWARDS_RIVAL_CHECKPOINTS_H
#define FR_STAGE_1_EASY_FORWARDS_RIVAL_CHECKPOINTS_H

#include "fr_checkpoint.h"

namespace fr
{

constexpr inline checkpoint stage_1_easy_forwards_rival_checkpoints[] = {
    checkpoint(156, 436, 0),
    checkpoint(156, 435, 0),
    checkpoint(156, 433, 0),
    checkpoint(156, 431, 0),
    checkpoint(156, 429, 0),
    checkpoint(156, 427, 0),
    checkpoint(156, 426, 0),
    checkpoint(156, 424, 0),
    checkpoint(156, 422, 0),
    checkpoint(156, 420, 0),
    checkpoint(156, 419, 0),
    checkpoint(156, 417, 0),
    checkpoint(156, 415, 0),
    checkpoint(156, 413, 0),
    checkpoint(156, 411, 0),
    checkpoint(156, 410, 0),
    checkpoint(156, 408, 0),
    checkpoint(156, 406, 0),
    checkpoint(156, 404, 0),
    checkpoint(156, 402, 0),
    checkpoint(156, 401, 0),
    checkpoint(156, 399, 0),
    checkpoint(156, 397, 0),
    checkpoint(156, 395, 0),
    checkpoint(156, 393, 0),
    checkpoint(156, 392, 0),
    checkpoint(156, 390, 0),
    checkpoint(156, 388, 0.00097),
    checkpoint(156, 386, 0.00268),
    checkpoint(156, 385, 0.00512),
    checkpoint(156, 383, 0.00830),
    checkpoint(156, 381, 0.01220),
    checkpoint(156, 379, 0.01684),
    checkpoint(156, 377, 0.02221),
    checkpoint(156, 376, 0.02807),
    checkpoint(156, 374, 0.03442),
    checkpoint(156, 372, 0.04125),
    checkpoint(156, 370, 0.04858),
    checkpoint(156, 368, 0.05639),
    checkpoint(156, 367, 0.06469),
    checkpoint(156, 365, 0.07348),
    checkpoint(156, 363, 0.08276),
    checkpoint(156, 361, 0.09252),
    checkpoint(156, 360, 0.10253),
    checkpoint(156, 358, 0.11279),
    checkpoint(156, 356, 0.12329),
    checkpoint(156, 354, 0.13403),
    checkpoint(156, 352, 0.14501),
    checkpoint(156, 351, 0.15625),
    checkpoint(156, 349, 0.16772),
    checkpoint(156, 347, 0.17944),
    checkpoint(156, 345, 0.19140),
    checkpoint(157, 344, 0.20361),
    checkpoint(157, 342, 0.21606),
    checkpoint(157, 340, 0.22875),
    checkpoint(157, 338, 0.24169),
    checkpoint(157, 336, 0.25488),
    checkpoint(157, 335, 0.26831),
    checkpoint(158, 333, 0.28198),
    checkpoint(158, 331, 0.29589),
    checkpoint(158, 329, 0.31005),
    checkpoint(158, 328, 0.32446),
    checkpoint(159, 326, 0.33911),
    checkpoint(159, 324, 0.35375),
    checkpoint(159, 323, 0.36840),
    checkpoint(160, 321, 0.38305),
    checkpoint(160, 319, 0.39770),
    checkpoint(160, 317, 0.41235),
    checkpoint(161, 316, 0.42700),
    checkpoint(161, 314, 0.44165),
    checkpoint(161, 312, 0.45629),
    checkpoint(162, 311, 0.47094),
    checkpoint(162, 309, 0.48559),
    checkpoint(163, 307, 0.50024),
    checkpoint(163, 305, 0.51489),
    checkpoint(164, 304, 0.52954),
    checkpoint(164, 302, 0.54418),
    checkpoint(165, 301, 0.55883),
    checkpoint(166, 299, 0.57348),
    checkpoint(166, 297, 0.58813),
    checkpoint(167, 296, 0.60278),
    checkpoint(167, 294, 0.61743),
    checkpoint(168, 292, 0.63208),
    checkpoint(169, 291, 0.64672),
    checkpoint(169, 289, 0.66137),
    checkpoint(170, 288, 0.67602),
    checkpoint(171, 286, 0.69067),
    checkpoint(172, 285, 0.70532),
    checkpoint(172, 283, 0.71997),
    checkpoint(173, 281, 0.73461),
    checkpoint(174, 280, 0.74926),
    checkpoint(175, 278, 0.76293),
    checkpoint(176, 277, 0.77587),
    checkpoint(177, 275, 0.78808),
    checkpoint(177, 274, 0.79956),
    checkpoint(178, 273, 0.81030),
    checkpoint(179, 271, 0.82031),
    checkpoint(180, 270, 0.82958),
    checkpoint(181, 268, 0.83837),
    checkpoint(182, 267, 0.84667),
    checkpoint(183, 265, 0.85449),
    checkpoint(184, 264, 0.86181),
    checkpoint(185, 263, 0.86865),
    checkpoint(186, 261, 0.87500),
    checkpoint(187, 260, 0.88085),
    checkpoint(189, 259, 0.88623),
    checkpoint(190, 257, 0.89111),
    checkpoint(191, 256, 0.89550),
    checkpoint(192, 255, 0.89965),
    checkpoint(193, 253, 0.90356),
    checkpoint(194, 252, 0.90722),
    checkpoint(195, 251, 0.91064),
    checkpoint(197, 250, 0.91381),
    checkpoint(198, 248, 0.91674),
    checkpoint(199, 247, 0.91943),
    checkpoint(200, 246, 0.92187),
    checkpoint(201, 245, 0.92407),
    checkpoint(203, 243, 0.92602),
    checkpoint(204, 242, 0.92773),
    checkpoint(205, 241, 0.92919),
    checkpoint(206, 240, 0.93041),
    checkpoint(208, 239, 0.93139),
    checkpoint(209, 237, 0.93212),
    checkpoint(210, 236, 0.93359),
    checkpoint(212, 235, 0.93579),
    checkpoint(213, 234, 0.93872),
    checkpoint(214, 233, 0.94238),
    checkpoint(215, 232, 0.94677),
    checkpoint(217, 230, 0.95190),
    checkpoint(218, 229, 0.95751),
    checkpoint(219, 228, 0.96362),
    checkpoint(221, 227, 0.97021),
    checkpoint(222, 226, 0.97729),
    checkpoint(224, 225, 0.98486),
    checkpoint(225, 224, 0.99291),
    checkpoint(226, 223, 1.00146),
    checkpoint(228, 221, 1.01049),
    checkpoint(229, 220, 1.02001),
    checkpoint(230, 219, 1.03002),
    checkpoint(232, 218, 1.04028),
    checkpoint(233, 217, 1.05078),
    checkpoint(235, 216, 1.06054),
    checkpoint(236, 215, 1.06958),
    checkpoint(237, 214, 1.07812),
    checkpoint(239, 213, 1.08618),
    checkpoint(240, 212, 1.09375),
    checkpoint(242, 211, 1.10083),
    checkpoint(243, 210, 1.10742),
    checkpoint(245, 209, 1.11352),
    checkpoint(246, 208, 1.11914),
    checkpoint(248, 207, 1.12426),
    checkpoint(249, 206, 1.12890),
    checkpoint(251, 205, 1.13330),
    checkpoint(252, 204, 1.13745),
    checkpoint(254, 203, 1.14233),
    checkpoint(255, 202, 1.14770),
    checkpoint(257, 202, 1.15356),
    checkpoint(258, 201, 1.15991),
    checkpoint(260, 200, 1.16674),
    checkpoint(261, 199, 1.17407),
    checkpoint(263, 198, 1.18188),
    checkpoint(264, 197, 1.19018),
    checkpoint(266, 196, 1.19897),
    checkpoint(267, 196, 1.20825),
    checkpoint(269, 195, 1.21801),
    checkpoint(271, 194, 1.22705),
    checkpoint(272, 193, 1.23559),
    checkpoint(274, 192, 1.24365),
    checkpoint(275, 192, 1.25122),
    checkpoint(277, 191, 1.25830),
    checkpoint(278, 190, 1.26489),
    checkpoint(280, 189, 1.27099),
    checkpoint(282, 189, 1.27661),
    checkpoint(283, 188, 1.28173),
    checkpoint(285, 187, 1.28637),
    checkpoint(286, 187, 1.29077),
    checkpoint(288, 186, 1.29492),
    checkpoint(290, 185, 1.29980),
    checkpoint(291, 184, 1.30517),
    checkpoint(293, 184, 1.31103),
    checkpoint(295, 183, 1.31738),
    checkpoint(296, 183, 1.32421),
    checkpoint(298, 182, 1.33154),
    checkpoint(300, 181, 1.33837),
    checkpoint(301, 181, 1.34472),
    checkpoint(303, 180, 1.35058),
    checkpoint(305, 180, 1.35595),
    checkpoint(306, 179, 1.36083),
    checkpoint(308, 178, 1.36523),
    checkpoint(310, 178, 1.36938),
    checkpoint(311, 177, 1.37329),
    checkpoint(313, 177, 1.37695),
    checkpoint(315, 176, 1.38037),
    checkpoint(316, 176, 1.38354),
    checkpoint(318, 175, 1.38647),
    checkpoint(320, 175, 1.38916),
    checkpoint(321, 174, 1.39160),
    checkpoint(323, 174, 1.39379),
    checkpoint(325, 173, 1.39672),
    checkpoint(327, 173, 1.40039),
    checkpoint(328, 173, 1.40478),
    checkpoint(330, 172, 1.40991),
    checkpoint(332, 172, 1.41552),
    checkpoint(333, 171, 1.42163),
    checkpoint(335, 171, 1.42822),
    checkpoint(337, 170, 1.43530),
    checkpoint(339, 170, 1.44287),
    checkpoint(340, 170, 1.45092),
    checkpoint(342, 169, 1.45947),
    checkpoint(344, 169, 1.46850),
    checkpoint(345, 169, 1.47705),
    checkpoint(347, 168, 1.48510),
    checkpoint(349, 168, 1.49267),
    checkpoint(351, 168, 1.49975),
    checkpoint(352, 167, 1.50634),
    checkpoint(354, 167, 1.51245),
    checkpoint(356, 167, 1.51806),
    checkpoint(358, 166, 1.52319),
    checkpoint(359, 166, 1.52783),
    checkpoint(361, 166, 1.53222),
    checkpoint(363, 166, 1.53637),
    checkpoint(365, 165, 1.54028),
    checkpoint(366, 165, 1.54394),
    checkpoint(368, 165, 1.54736),
    checkpoint(370, 165, 1.55053),
    checkpoint(372, 164, 1.55346),
    checkpoint(373, 164, 1.55615),
    checkpoint(375, 164, 1.55859),
    checkpoint(377, 164, 1.56079),
    checkpoint(379, 164, 1.56274),
    checkpoint(380, 164, 1.56445),
    checkpoint(382, 163, 1.56591),
    checkpoint(384, 163, 1.56713),
    checkpoint(386, 163, 1.56909),
    checkpoint(387, 163, 1.57177),
    checkpoint(389, 163, 1.57519),
    checkpoint(391, 163, 1.57934),
    checkpoint(393, 163, 1.58422),
    checkpoint(395, 163, 1.58959),
    checkpoint(396, 162, 1.59545),
    checkpoint(398, 162, 1.60083),
    checkpoint(400, 162, 1.60571),
    checkpoint(402, 162, 1.61010),
    checkpoint(403, 162, 1.61425),
    checkpoint(405, 162, 1.61816),
    checkpoint(407, 162, 1.62182),
    checkpoint(409, 162, 1.62524),
    checkpoint(411, 162, 1.62841),
    checkpoint(412, 162, 1.63134),
    checkpoint(414, 162, 1.63403),
    checkpoint(416, 162, 1.63647),
    checkpoint(418, 162, 1.63867),
    checkpoint(419, 162, 1.64062),
    checkpoint(421, 162, 1.64233),
    checkpoint(423, 162, 1.64379),
    checkpoint(425, 162, 1.64501),
    checkpoint(426, 162, 1.64599),
    checkpoint(428, 162, 1.64672),
    checkpoint(430, 162, 1.64721),
    checkpoint(432, 162, 1.64746),
    checkpoint(434, 162, 1.64746),
    checkpoint(435, 162, 1.64746),
    checkpoint(437, 162, 1.64746),
    checkpoint(439, 162, 1.64746),
    checkpoint(441, 162, 1.64746),
    checkpoint(442, 162, 1.64746),
    checkpoint(444, 162, 1.64746),
    checkpoint(446, 163, 1.64746),
    checkpoint(448, 163, 1.64746),
    checkpoint(450, 163, 1.64746),
    checkpoint(451, 163, 1.64746),
    checkpoint(453, 163, 1.64746),
    checkpoint(455, 163, 1.64746),
    checkpoint(457, 163, 1.64746),
    checkpoint(458, 163, 1.64746),
    checkpoint(460, 163, 1.64746),
    checkpoint(462, 163, 1.64746),
    checkpoint(464, 163, 1.64746),
    checkpoint(466, 163, 1.64746),
    checkpoint(467, 164, 1.64746),
    checkpoint(469, 164, 1.64746),
    checkpoint(471, 164, 1.64746),
    checkpoint(473, 164, 1.64746),
    checkpoint(474, 164, 1.64746),
    checkpoint(476, 164, 1.64746),
    checkpoint(478, 164, 1.64746),
    checkpoint(480, 164, 1.64746),
    checkpoint(482, 164, 1.64746),
    checkpoint(483, 165, 1.64746),
    checkpoint(485, 165, 1.64648),
    checkpoint(487, 165, 1.64477),
    checkpoint(489, 165, 1.64233),
    checkpoint(491, 165, 1.63916),
    checkpoint(492, 165, 1.63525),
    checkpoint(494, 165, 1.63159),
    checkpoint(496, 165, 1.62817),
    checkpoint(498, 165, 1.62500),
    checkpoint(499, 166, 1.62207),
    checkpoint(501, 166, 1.61938),
    checkpoint(503, 166, 1.61694),
    checkpoint(505, 166, 1.61474),
    checkpoint(507, 166, 1.61279),
    checkpoint(508, 166, 1.61108),
    checkpoint(510, 166, 1.60961),
    checkpoint(512, 166, 1.60839),
    checkpoint(514, 166, 1.60742),
    checkpoint(515, 166, 1.60668),
    checkpoint(517, 167, 1.60620),
    checkpoint(519, 167, 1.60595),
    checkpoint(521, 167, 1.60595),
    checkpoint(523, 167, 1.60595),
    checkpoint(524, 167, 1.60595),
    checkpoint(526, 167, 1.60595),
    checkpoint(528, 167, 1.60595),
    checkpoint(530, 167, 1.60595),
    checkpoint(531, 167, 1.60595),
    checkpoint(533, 167, 1.60595),
    checkpoint(535, 167, 1.60595),
    checkpoint(537, 168, 1.60595),
    checkpoint(539, 168, 1.60595),
    checkpoint(540, 168, 1.60595),
    checkpoint(542, 168, 1.60595),
    checkpoint(544, 168, 1.60595),
    checkpoint(546, 168, 1.60595),
    checkpoint(548, 168, 1.60595),
    checkpoint(549, 168, 1.60595),
    checkpoint(551, 168, 1.60595),
    checkpoint(553, 168, 1.60595),
    checkpoint(555, 168, 1.60595),
    checkpoint(556, 168, 1.60595),
    checkpoint(558, 168, 1.60595),
    checkpoint(560, 168, 1.60595),
    checkpoint(562, 169, 1.60595),
    checkpoint(564, 169, 1.60595),
    checkpoint(565, 169, 1.60595),
    checkpoint(567, 169, 1.60595),
    checkpoint(569, 169, 1.60595),
    checkpoint(571, 169, 1.60595),
    checkpoint(573, 169, 1.60595),
    checkpoint(574, 169, 1.60595),
    checkpoint(576, 169, 1.60595),
    checkpoint(578, 169, 1.60595),
    checkpoint(580, 169, 1.60595),
    checkpoint(581, 169, 1.60595),
    checkpoint(583, 169, 1.60595),
    checkpoint(585, 169, 1.60595),
    checkpoint(587, 169, 1.60595),
    checkpoint(589, 170, 1.60595),
    checkpoint(590, 170, 1.60595),
    checkpoint(592, 170, 1.60595),
    checkpoint(594, 170, 1.60595),
    checkpoint(596, 170, 1.60595),
    checkpoint(598, 170, 1.60595),
    checkpoint(599, 170, 1.60595),
    checkpoint(601, 170, 1.60595),
    checkpoint(603, 170, 1.60595),
    checkpoint(605, 170, 1.60595),
    checkpoint(606, 170, 1.60595),
    checkpoint(608, 170, 1.60595),
    checkpoint(610, 170, 1.60595),
    checkpoint(612, 170, 1.60595),
    checkpoint(614, 170, 1.60595),
    checkpoint(615, 171, 1.60595),
    checkpoint(617, 171, 1.60595),
    checkpoint(619, 171, 1.60595),
    checkpoint(621, 171, 1.60595),
    checkpoint(623, 171, 1.60595),
    checkpoint(624, 171, 1.60595),
    checkpoint(626, 171, 1.60595),
    checkpoint(628, 171, 1.60595),
    checkpoint(630, 171, 1.60595),
    checkpoint(631, 171, 1.60595),
    checkpoint(633, 171, 1.60595),
    checkpoint(635, 171, 1.60595),
    checkpoint(637, 171, 1.60595),
    checkpoint(639, 171, 1.60595),
    checkpoint(640, 171, 1.60595),
    checkpoint(642, 171, 1.60595),
    checkpoint(644, 172, 1.60693),
    checkpoint(646, 172, 1.60864),
    checkpoint(648, 172, 1.61108),
    checkpoint(649, 172, 1.61425),
    checkpoint(651, 172, 1.61816),
    checkpoint(653, 172, 1.62280),
    checkpoint(655, 172, 1.62817),
    checkpoint(656, 172, 1.63403),
    checkpoint(658, 172, 1.64038),
    checkpoint(660, 172, 1.64721),
    checkpoint(662, 172, 1.65454),
    checkpoint(664, 172, 1.66235),
    checkpoint(665, 172, 1.67065),
    checkpoint(667, 172, 1.67944),
    checkpoint(669, 173, 1.68872),
    checkpoint(671, 173, 1.69848),
    checkpoint(672, 173, 1.70849),
    checkpoint(674, 173, 1.71875),
    checkpoint(676, 173, 1.72924),
    checkpoint(678, 173, 1.73999),
    checkpoint(680, 173, 1.75097),
    checkpoint(681, 173, 1.76220),
    checkpoint(683, 174, 1.77368),
    checkpoint(685, 174, 1.78540),
    checkpoint(687, 174, 1.79736),
    checkpoint(688, 174, 1.80957),
    checkpoint(690, 174, 1.82202),
    checkpoint(692, 175, 1.83471),
    checkpoint(694, 175, 1.84765),
    checkpoint(695, 175, 1.86083),
    checkpoint(697, 175, 1.87426),
    checkpoint(699, 176, 1.88793),
    checkpoint(701, 176, 1.90185),
    checkpoint(702, 176, 1.91601),
    checkpoint(704, 177, 1.93041),
    checkpoint(706, 177, 1.94506),
    checkpoint(708, 177, 1.95971),
    checkpoint(709, 178, 1.97338),
    checkpoint(711, 178, 1.98632),
    checkpoint(713, 178, 1.99853),
    checkpoint(714, 179, 2.01000),
    checkpoint(716, 179, 2.02075),
    checkpoint(718, 180, 2.03076),
    checkpoint(720, 180, 2.04003),
    checkpoint(721, 181, 2.04882),
    checkpoint(723, 181, 2.05712),
    checkpoint(725, 182, 2.06494),
    checkpoint(726, 182, 2.07226),
    checkpoint(728, 183, 2.07910),
    checkpoint(730, 183, 2.08544),
    checkpoint(731, 184, 2.09130),
    checkpoint(733, 185, 2.09667),
    checkpoint(734, 185, 2.10156),
    checkpoint(736, 186, 2.10595),
    checkpoint(738, 186, 2.11010),
    checkpoint(739, 187, 2.11401),
    checkpoint(741, 188, 2.11767),
    checkpoint(743, 189, 2.12109),
    checkpoint(744, 189, 2.12426),
    checkpoint(746, 190, 2.12719),
    checkpoint(747, 191, 2.13085),
    checkpoint(749, 191, 2.13525),
    checkpoint(751, 192, 2.14038),
    checkpoint(752, 193, 2.14599),
    checkpoint(754, 194, 2.15209),
    checkpoint(755, 194, 2.15869),
    checkpoint(757, 195, 2.16577),
    checkpoint(758, 196, 2.17333),
    checkpoint(760, 197, 2.18139),
    checkpoint(762, 198, 2.18994),
    checkpoint(763, 198, 2.19897),
    checkpoint(765, 199, 2.20849),
    checkpoint(766, 200, 2.21850),
    checkpoint(768, 201, 2.22875),
    checkpoint(769, 202, 2.23925),
    checkpoint(771, 203, 2.25000),
    checkpoint(772, 204, 2.26098),
    checkpoint(774, 205, 2.27221),
    checkpoint(775, 206, 2.28369),
    checkpoint(777, 207, 2.29541),
    checkpoint(778, 207, 2.30737),
    checkpoint(780, 208, 2.31958),
    checkpoint(781, 209, 2.33203),
    checkpoint(783, 210, 2.34472),
    checkpoint(784, 211, 2.35766),
    checkpoint(785, 212, 2.37084),
    checkpoint(787, 213, 2.38427),
    checkpoint(788, 214, 2.39794),
    checkpoint(790, 216, 2.41186),
    checkpoint(791, 217, 2.42602),
    checkpoint(792, 218, 2.44042),
    checkpoint(794, 219, 2.45507),
    checkpoint(795, 220, 2.46972),
    checkpoint(796, 221, 2.48437),
    checkpoint(798, 222, 2.49902),
    checkpoint(799, 223, 2.51367),
    checkpoint(800, 225, 2.52734),
    checkpoint(802, 226, 2.54028),
    checkpoint(803, 227, 2.55249),
    checkpoint(804, 228, 2.56396),
    checkpoint(805, 229, 2.57470),
    checkpoint(807, 231, 2.58471),
    checkpoint(808, 232, 2.59399),
    checkpoint(809, 233, 2.60278),
    checkpoint(810, 234, 2.61108),
    checkpoint(811, 236, 2.61889),
    checkpoint(812, 237, 2.62622),
    checkpoint(814, 238, 2.63305),
    checkpoint(815, 240, 2.63940),
    checkpoint(816, 241, 2.64526),
    checkpoint(817, 242, 2.65063),
    checkpoint(818, 244, 2.65551),
    checkpoint(819, 245, 2.65991),
    checkpoint(820, 246, 2.66406),
    checkpoint(821, 248, 2.66796),
    checkpoint(822, 249, 2.67163),
    checkpoint(823, 251, 2.67504),
    checkpoint(824, 252, 2.67822),
    checkpoint(825, 254, 2.68115),
    checkpoint(826, 255, 2.68383),
    checkpoint(827, 256, 2.68627),
    checkpoint(828, 258, 2.68847),
    checkpoint(829, 259, 2.69042),
    checkpoint(830, 261, 2.69213),
    checkpoint(831, 262, 2.69360),
    checkpoint(832, 264, 2.69482),
    checkpoint(833, 265, 2.69580),
    checkpoint(834, 267, 2.69750),
    checkpoint(835, 268, 2.69995),
    checkpoint(835, 270, 2.70312),
    checkpoint(836, 271, 2.70703),
    checkpoint(837, 273, 2.71166),
    checkpoint(838, 274, 2.71704),
    checkpoint(839, 276, 2.72290),
    checkpoint(840, 277, 2.72924),
    checkpoint(841, 279, 2.73608),
    checkpoint(841, 281, 2.74340),
    checkpoint(842, 282, 2.75122),
    checkpoint(843, 284, 2.75952),
    checkpoint(844, 285, 2.76831),
    checkpoint(845, 287, 2.77758),
    checkpoint(846, 288, 2.78735),
    checkpoint(846, 290, 2.79736),
    checkpoint(847, 291, 2.80761),
    checkpoint(848, 293, 2.81811),
    checkpoint(849, 295, 2.82885),
    checkpoint(849, 296, 2.83984),
    checkpoint(850, 298, 2.85107),
    checkpoint(851, 299, 2.86254),
    checkpoint(852, 301, 2.87426),
    checkpoint(852, 303, 2.88623),
    checkpoint(853, 304, 2.89843),
    checkpoint(854, 306, 2.91088),
    checkpoint(854, 308, 2.92358),
    checkpoint(855, 309, 2.93652),
    checkpoint(855, 311, 2.94970),
    checkpoint(856, 312, 2.96313),
    checkpoint(857, 314, 2.97680),
    checkpoint(857, 316, 2.99072),
    checkpoint(858, 317, 3.00488),
    checkpoint(858, 319, 3.01928),
    checkpoint(859, 321, 3.03393),
    checkpoint(859, 322, 3.04858),
    checkpoint(860, 324, 3.06323),
    checkpoint(860, 326, 3.07788),
    checkpoint(861, 328, 3.09252),
    checkpoint(861, 329, 3.10717),
    checkpoint(862, 331, 3.12182),
    checkpoint(862, 333, 3.13647),
    checkpoint(862, 334, 3.15112),
    checkpoint(863, 336, 3.16577),
    checkpoint(863, 338, 3.18041),
    checkpoint(863, 339, 3.19506),
    checkpoint(864, 341, 3.20971),
    checkpoint(864, 343, 3.22436),
    checkpoint(864, 345, 3.23901),
    checkpoint(864, 346, 3.25366),
    checkpoint(865, 348, 3.26831),
    checkpoint(865, 350, 3.28295),
    checkpoint(865, 351, 3.29760),
    checkpoint(865, 353, 3.31225),
    checkpoint(865, 355, 3.32690),
    checkpoint(865, 357, 3.34155),
    checkpoint(865, 358, 3.35620),
    checkpoint(865, 360, 3.37084),
    checkpoint(865, 362, 3.38549),
    checkpoint(865, 364, 3.40014),
    checkpoint(865, 365, 3.41479),
    checkpoint(865, 367, 3.42944),
    checkpoint(865, 369, 3.44409),
    checkpoint(865, 370, 3.45874),
    checkpoint(865, 372, 3.47338),
    checkpoint(865, 374, 3.48803),
    checkpoint(865, 376, 3.50268),
    checkpoint(864, 377, 3.51733),
    checkpoint(864, 379, 3.53198),
    checkpoint(864, 381, 3.54663),
    checkpoint(864, 382, 3.56127),
    checkpoint(863, 384, 3.57592),
    checkpoint(863, 386, 3.59057),
    checkpoint(863, 387, 3.60522),
    checkpoint(862, 389, 3.61987),
    checkpoint(862, 391, 3.63452),
    checkpoint(861, 392, 3.64916),
    checkpoint(861, 394, 3.66381),
    checkpoint(861, 396, 3.67846),
    checkpoint(860, 397, 3.69311),
    checkpoint(860, 399, 3.70776),
    checkpoint(859, 401, 3.72241),
    checkpoint(859, 402, 3.73706),
    checkpoint(858, 404, 3.75170),
    checkpoint(857, 405, 3.76635),
    checkpoint(857, 407, 3.78100),
    checkpoint(856, 409, 3.79565),
    checkpoint(855, 410, 3.81030),
    checkpoint(855, 412, 3.82495),
    checkpoint(854, 413, 3.83959),
    checkpoint(853, 415, 3.85327),
    checkpoint(853, 416, 3.86621),
    checkpoint(852, 418, 3.87841),
    checkpoint(851, 419, 3.88989),
    checkpoint(850, 421, 3.90063),
    checkpoint(849, 422, 3.91064),
    checkpoint(848, 424, 3.91992),
    checkpoint(848, 425, 3.92871),
    checkpoint(847, 427, 3.93701),
    checkpoint(846, 428, 3.94482),
    checkpoint(845, 430, 3.95214),
    checkpoint(844, 431, 3.95898),
    checkpoint(843, 432, 3.96533),
    checkpoint(842, 434, 3.97119),
    checkpoint(841, 435, 3.97656),
    checkpoint(840, 437, 3.98144),
    checkpoint(839, 438, 3.98583),
    checkpoint(838, 439, 3.98999),
    checkpoint(837, 441, 3.99389),
    checkpoint(836, 442, 3.99755),
    checkpoint(835, 443, 4.00097),
    checkpoint(833, 445, 4.00415),
    checkpoint(832, 446, 4.00708),
    checkpoint(831, 447, 4.00976),
    checkpoint(830, 449, 4.01220),
    checkpoint(829, 450, 4.01440),
    checkpoint(828, 451, 4.01635),
    checkpoint(827, 452, 4.01904),
    checkpoint(825, 454, 4.02246),
    checkpoint(824, 455, 4.02661),
    checkpoint(823, 456, 4.03149),
    checkpoint(822, 457, 4.03686),
    checkpoint(821, 459, 4.04272),
    checkpoint(819, 460, 4.04907),
    checkpoint(818, 461, 4.05590),
    checkpoint(817, 462, 4.06323),
    checkpoint(816, 464, 4.07104),
    checkpoint(814, 465, 4.07934),
    checkpoint(813, 466, 4.08813),
    checkpoint(812, 467, 4.09741),
    checkpoint(810, 468, 4.10717),
    checkpoint(809, 470, 4.11718),
    checkpoint(808, 471, 4.12744),
    checkpoint(807, 472, 4.13793),
    checkpoint(805, 473, 4.14868),
    checkpoint(804, 474, 4.15966),
    checkpoint(803, 475, 4.17089),
    checkpoint(801, 476, 4.18237),
    checkpoint(800, 477, 4.19409),
    checkpoint(798, 478, 4.20605),
    checkpoint(797, 480, 4.21826),
    checkpoint(796, 481, 4.23071),
    checkpoint(794, 482, 4.24340),
    checkpoint(793, 483, 4.25634),
    checkpoint(791, 484, 4.26953),
    checkpoint(790, 485, 4.28295),
    checkpoint(789, 486, 4.29663),
    checkpoint(787, 487, 4.31054),
    checkpoint(786, 488, 4.32470),
    checkpoint(784, 489, 4.33911),
    checkpoint(783, 489, 4.35375),
    checkpoint(781, 490, 4.36840),
    checkpoint(780, 491, 4.38305),
    checkpoint(778, 492, 4.39770),
    checkpoint(777, 493, 4.41235),
    checkpoint(775, 494, 4.42700),
    checkpoint(774, 495, 4.44165),
    checkpoint(772, 495, 4.45629),
    checkpoint(771, 496, 4.47094),
    checkpoint(769, 497, 4.48559),
    checkpoint(767, 498, 4.50024),
    checkpoint(766, 498, 4.51489),
    checkpoint(764, 499, 4.52954),
    checkpoint(763, 500, 4.54321),
    checkpoint(761, 501, 4.55615),
    checkpoint(759, 501, 4.56835),
    checkpoint(758, 502, 4.57983),
    checkpoint(756, 502, 4.59057),
    checkpoint(755, 503, 4.60058),
    checkpoint(753, 504, 4.60986),
    checkpoint(751, 504, 4.61865),
    checkpoint(750, 505, 4.62695),
    checkpoint(748, 505, 4.63476),
    checkpoint(746, 506, 4.64208),
    checkpoint(745, 506, 4.64892),
    checkpoint(743, 506, 4.65527),
    checkpoint(741, 507, 4.66113),
    checkpoint(740, 507, 4.66650),
    checkpoint(738, 508, 4.67236),
    checkpoint(736, 508, 4.67871),
    checkpoint(735, 508, 4.68554),
    checkpoint(733, 509, 4.69287),
    checkpoint(731, 509, 4.70068),
    checkpoint(729, 509, 4.70898),
    checkpoint(728, 510, 4.71777),
    checkpoint(726, 510, 4.72705),
    checkpoint(724, 510, 4.73681),
    checkpoint(723, 510, 4.74682),
    checkpoint(721, 511, 4.75708),
    checkpoint(719, 511, 4.76757),
    checkpoint(717, 511, 4.77832),
    checkpoint(716, 511, 4.78930),
    checkpoint(714, 511, 4.80053),
    checkpoint(712, 512, 4.81201),
    checkpoint(710, 512, 4.82373),
    checkpoint(709, 512, 4.83569),
    checkpoint(707, 512, 4.84790),
    checkpoint(705, 512, 4.86035),
    checkpoint(704, 512, 4.87304),
    checkpoint(702, 512, 4.88598),
    checkpoint(700, 512, 4.89916),
    checkpoint(698, 512, 4.91259),
    checkpoint(697, 512, 4.92626),
    checkpoint(695, 512, 4.94018),
    checkpoint(693, 512, 4.95434),
    checkpoint(691, 512, 4.96875),
    checkpoint(690, 512, 4.98339),
    checkpoint(688, 512, 4.99804),
    checkpoint(686, 512, 5.01269),
    checkpoint(684, 511, 5.02734),
    checkpoint(683, 511, 5.04199),
    checkpoint(681, 511, 5.05664),
    checkpoint(679, 511, 5.07128),
    checkpoint(678, 511, 5.08593),
    checkpoint(676, 510, 5.10058),
    checkpoint(674, 510, 5.11523),
    checkpoint(672, 510, 5.12988),
    checkpoint(671, 509, 5.14453),
    checkpoint(669, 509, 5.15917),
    checkpoint(667, 509, 5.17382),
    checkpoint(666, 508, 5.18847),
    checkpoint(664, 508, 5.20312),
    checkpoint(662, 508, 5.21777),
    checkpoint(661, 507, 5.23242),
    checkpoint(659, 507, 5.24707),
    checkpoint(657, 506, 5.26171),
    checkpoint(656, 506, 5.27636),
    checkpoint(654, 505, 5.29101),
    checkpoint(653, 504, 5.30566),
    checkpoint(651, 504, 5.32031),
    checkpoint(649, 503, 5.33496),
    checkpoint(648, 503, 5.34960),
    checkpoint(646, 502, 5.36328),
    checkpoint(645, 501, 5.37622),
    checkpoint(643, 501, 5.38842),
    checkpoint(641, 500, 5.39990),
    checkpoint(640, 499, 5.41064),
    checkpoint(638, 498, 5.42065),
    checkpoint(637, 498, 5.42993),
    checkpoint(635, 497, 5.43872),
    checkpoint(634, 496, 5.44702),
    checkpoint(632, 495, 5.45483),
    checkpoint(631, 494, 5.46215),
    checkpoint(629, 493, 5.46899),
    checkpoint(628, 492, 5.47534),
    checkpoint(626, 492, 5.48120),
    checkpoint(625, 491, 5.48657),
    checkpoint(624, 490, 5.49145),
    checkpoint(622, 489, 5.49584),
    checkpoint(621, 488, 5.50000),
    checkpoint(619, 487, 5.50390),
    checkpoint(618, 486, 5.50756),
    checkpoint(616, 485, 5.51098),
    checkpoint(615, 484, 5.51416),
    checkpoint(614, 483, 5.51708),
    checkpoint(612, 482, 5.51977),
    checkpoint(611, 481, 5.52221),
    checkpoint(610, 479, 5.52441),
    checkpoint(608, 478, 5.52636),
    checkpoint(607, 477, 5.52807),
    checkpoint(606, 476, 5.52954),
    checkpoint(604, 475, 5.53076),
    checkpoint(603, 474, 5.53173),
    checkpoint(602, 473, 5.53247),
    checkpoint(600, 472, 5.53295),
    checkpoint(599, 471, 5.53222),
    checkpoint(598, 469, 5.53076),
    checkpoint(596, 468, 5.52856),
    checkpoint(595, 467, 5.52563),
    checkpoint(594, 466, 5.52197),
    checkpoint(592, 465, 5.51757),
    checkpoint(591, 463, 5.51245),
    checkpoint(590, 462, 5.50683),
    checkpoint(589, 461, 5.50073),
    checkpoint(587, 460, 5.49414),
    checkpoint(586, 459, 5.48706),
    checkpoint(585, 457, 5.47949),
    checkpoint(583, 456, 5.47143),
    checkpoint(582, 455, 5.46289),
    checkpoint(581, 454, 5.45385),
    checkpoint(580, 453, 5.44433),
    checkpoint(578, 451, 5.43432),
    checkpoint(577, 450, 5.42407),
    checkpoint(576, 449, 5.41357),
    checkpoint(574, 448, 5.40283),
    checkpoint(573, 447, 5.39184),
    checkpoint(572, 445, 5.38061),
    checkpoint(570, 444, 5.36914),
    checkpoint(569, 443, 5.35742),
    checkpoint(568, 442, 5.34545),
    checkpoint(566, 441, 5.33422),
    checkpoint(565, 440, 5.32373),
    checkpoint(564, 438, 5.31396),
    checkpoint(562, 437, 5.30493),
    checkpoint(561, 436, 5.29638),
    checkpoint(560, 435, 5.28833),
    checkpoint(558, 434, 5.28076),
    checkpoint(557, 433, 5.27368),
    checkpoint(556, 432, 5.26708),
    checkpoint(554, 431, 5.26098),
    checkpoint(553, 430, 5.25537),
    checkpoint(551, 429, 5.24926),
    checkpoint(550, 427, 5.24267),
    checkpoint(549, 426, 5.23559),
    checkpoint(547, 425, 5.22802),
    checkpoint(546, 424, 5.21997),
    checkpoint(544, 423, 5.21142),
    checkpoint(543, 422, 5.20239),
    checkpoint(541, 421, 5.19287),
    checkpoint(540, 420, 5.18286),
    checkpoint(539, 419, 5.17260),
    checkpoint(537, 418, 5.16210),
    checkpoint(536, 417, 5.15136),
    checkpoint(534, 416, 5.14038),
    checkpoint(533, 415, 5.12915),
    checkpoint(531, 415, 5.11767),
    checkpoint(530, 414, 5.10595),
    checkpoint(528, 413, 5.09399),
    checkpoint(527, 412, 5.08178),
    checkpoint(525, 411, 5.06933),
    checkpoint(524, 410, 5.05664),
    checkpoint(522, 409, 5.04370),
    checkpoint(520, 408, 5.03051),
    checkpoint(519, 408, 5.01708),
    checkpoint(517, 407, 5.00341),
    checkpoint(516, 406, 4.98950),
    checkpoint(514, 405, 4.97534),
    checkpoint(513, 405, 4.96093),
    checkpoint(511, 404, 4.94628),
    checkpoint(509, 403, 4.93164),
    checkpoint(508, 402, 4.91699),
    checkpoint(506, 402, 4.90234),
    checkpoint(505, 401, 4.88769),
    checkpoint(503, 400, 4.87304),
    checkpoint(501, 400, 4.85839),
    checkpoint(500, 399, 4.84375),
    checkpoint(498, 399, 4.82910),
    checkpoint(496, 398, 4.81445),
    checkpoint(495, 397, 4.79980),
    checkpoint(493, 397, 4.78515),
    checkpoint(491, 396, 4.77050),
    checkpoint(490, 396, 4.75585),
    checkpoint(488, 396, 4.74121),
    checkpoint(486, 395, 4.72656),
    checkpoint(485, 395, 4.71191),
    checkpoint(483, 394, 4.69726),
    checkpoint(481, 394, 4.68261),
    checkpoint(480, 394, 4.66796),
    checkpoint(478, 393, 4.65332),
    checkpoint(476, 393, 4.63867),
    checkpoint(475, 393, 4.62402),
    checkpoint(473, 392, 4.60937),
    checkpoint(471, 392, 4.59472),
    checkpoint(469, 392, 4.58007),
    checkpoint(468, 392, 4.56542),
    checkpoint(466, 392, 4.55078),
    checkpoint(464, 391, 4.53613),
    checkpoint(463, 391, 4.52148),
    checkpoint(461, 391, 4.50683),
    checkpoint(459, 391, 4.49218),
    checkpoint(457, 391, 4.47753),
    checkpoint(456, 391, 4.46289),
    checkpoint(454, 391, 4.44824),
    checkpoint(452, 391, 4.43359),
    checkpoint(451, 391, 4.41894),
    checkpoint(449, 391, 4.40429),
    checkpoint(447, 391, 4.38964),
    checkpoint(445, 392, 4.37500),
    checkpoint(444, 392, 4.36035),
    checkpoint(442, 392, 4.34570),
    checkpoint(440, 392, 4.33105),
    checkpoint(439, 392, 4.31640),
    checkpoint(437, 393, 4.30175),
    checkpoint(435, 393, 4.28710),
    checkpoint(434, 393, 4.27246),
    checkpoint(432, 393, 4.25781),
    checkpoint(430, 394, 4.24316),
    checkpoint(429, 394, 4.22851),
    checkpoint(427, 394, 4.21386),
    checkpoint(425, 395, 4.19921),
    checkpoint(424, 395, 4.18457),
    checkpoint(422, 396, 4.16992),
    checkpoint(420, 396, 4.15527),
    checkpoint(419, 397, 4.14062),
    checkpoint(417, 397, 4.12597),
    checkpoint(415, 398, 4.11132),
    checkpoint(414, 398, 4.09667),
    checkpoint(412, 399, 4.08203),
    checkpoint(411, 400, 4.06738),
    checkpoint(409, 400, 4.05273),
    checkpoint(408, 401, 4.03808),
    checkpoint(406, 402, 4.02343),
    checkpoint(404, 402, 4.00878),
    checkpoint(403, 403, 3.99414),
    checkpoint(401, 404, 3.97949),
    checkpoint(400, 405, 3.96484),
    checkpoint(398, 405, 3.95019),
    checkpoint(397, 406, 3.93554),
    checkpoint(395, 407, 3.92089),
    checkpoint(394, 408, 3.90625),
    checkpoint(393, 409, 3.89160),
    checkpoint(391, 410, 3.87695),
    checkpoint(390, 411, 3.86230),
    checkpoint(388, 412, 3.84765),
    checkpoint(387, 413, 3.83300),
    checkpoint(385, 414, 3.81835),
    checkpoint(384, 415, 3.80371),
    checkpoint(383, 416, 3.78906),
    checkpoint(381, 417, 3.77441),
    checkpoint(380, 418, 3.75976),
    checkpoint(379, 419, 3.74511),
    checkpoint(378, 420, 3.73046),
    checkpoint(376, 421, 3.71582),
    checkpoint(375, 422, 3.70117),
    checkpoint(374, 423, 3.68652),
    checkpoint(373, 425, 3.67187),
    checkpoint(371, 426, 3.65722),
    checkpoint(370, 427, 3.64257),
    checkpoint(369, 428, 3.62792),
    checkpoint(368, 430, 3.61328),
    checkpoint(367, 431, 3.59863),
    checkpoint(366, 432, 3.58398),
    checkpoint(364, 433, 3.56933),
    checkpoint(363, 435, 3.55468),
    checkpoint(362, 436, 3.54003),
    checkpoint(361, 437, 3.52539),
    checkpoint(360, 439, 3.51074),
    checkpoint(359, 440, 3.49609),
    checkpoint(358, 442, 3.48144),
    checkpoint(357, 443, 3.46679),
    checkpoint(356, 444, 3.45214),
    checkpoint(356, 446, 3.43750),
    checkpoint(355, 447, 3.42285),
    checkpoint(354, 449, 3.40820),
    checkpoint(353, 450, 3.39355),
    checkpoint(352, 452, 3.37890),
    checkpoint(351, 453, 3.36425),
    checkpoint(351, 455, 3.34960),
    checkpoint(350, 456, 3.33496),
    checkpoint(349, 458, 3.32031),
    checkpoint(348, 459, 3.30566),
    checkpoint(348, 461, 3.29101),
    checkpoint(347, 462, 3.27636),
    checkpoint(346, 464, 3.26171),
    checkpoint(346, 465, 3.24707),
    checkpoint(345, 467, 3.23242),
    checkpoint(345, 469, 3.21777),
    checkpoint(344, 470, 3.20312),
    checkpoint(343, 472, 3.18847),
    checkpoint(343, 474, 3.17382),
    checkpoint(342, 475, 3.15917),
    checkpoint(342, 477, 3.14453),
    checkpoint(342, 478, 3.12988),
    checkpoint(341, 480, 3.11523),
    checkpoint(341, 482, 3.10058),
    checkpoint(340, 483, 3.08593),
    checkpoint(340, 485, 3.07128),
    checkpoint(340, 487, 3.05664),
    checkpoint(340, 488, 3.04199),
    checkpoint(339, 490, 3.02734),
    checkpoint(339, 492, 3.01269),
    checkpoint(339, 493, 2.99804),
    checkpoint(339, 495, 2.98339),
    checkpoint(338, 497, 2.96875),
    checkpoint(338, 498, 2.95410),
    checkpoint(338, 500, 2.93945),
    checkpoint(338, 502, 2.92480),
    checkpoint(338, 504, 2.91015),
    checkpoint(338, 505, 2.89550),
    checkpoint(338, 507, 2.88085),
    checkpoint(338, 509, 2.86621),
    checkpoint(338, 510, 2.85156),
    checkpoint(338, 512, 2.83691),
    checkpoint(338, 514, 2.82226),
    checkpoint(338, 515, 2.80761),
    checkpoint(338, 517, 2.79296),
    checkpoint(339, 519, 2.77832),
    checkpoint(339, 521, 2.76367),
    checkpoint(339, 522, 2.74902),
    checkpoint(339, 524, 2.73437),
    checkpoint(339, 526, 2.71972),
    checkpoint(340, 527, 2.70507),
    checkpoint(340, 529, 2.69042),
    checkpoint(340, 531, 2.67578),
    checkpoint(341, 532, 2.66113),
    checkpoint(341, 534, 2.64648),
    checkpoint(341, 536, 2.63183),
    checkpoint(342, 537, 2.61718),
    checkpoint(342, 539, 2.60253),
    checkpoint(343, 540, 2.58789),
    checkpoint(343, 542, 2.57324),
    checkpoint(344, 544, 2.55859),
    checkpoint(344, 545, 2.54394),
    checkpoint(345, 547, 2.52929),
    checkpoint(346, 548, 2.51464),
    checkpoint(346, 550, 2.50000),
    checkpoint(347, 552, 2.48535),
    checkpoint(347, 553, 2.47070),
    checkpoint(348, 555, 2.45605),
    checkpoint(349, 556, 2.44140),
    checkpoint(350, 558, 2.42675),
    checkpoint(350, 559, 2.41210),
    checkpoint(351, 561, 2.39746),
    checkpoint(352, 562, 2.38281),
    checkpoint(353, 564, 2.36816),
    checkpoint(353, 565, 2.35351),
    checkpoint(354, 567, 2.33886),
    checkpoint(355, 568, 2.32421),
    checkpoint(356, 570, 2.30957),
    checkpoint(357, 571, 2.29492),
    checkpoint(358, 573, 2.28027),
    checkpoint(359, 574, 2.26562),
    checkpoint(360, 575, 2.25097),
    checkpoint(361, 577, 2.23632),
    checkpoint(362, 578, 2.22167),
    checkpoint(363, 579, 2.20703),
    checkpoint(364, 581, 2.19238),
    checkpoint(365, 582, 2.17773),
    checkpoint(366, 583, 2.16308),
    checkpoint(367, 585, 2.14843),
    checkpoint(369, 586, 2.13476),
    checkpoint(370, 587, 2.12182),
    checkpoint(371, 588, 2.10961),
    checkpoint(372, 589, 2.09814),
    checkpoint(373, 591, 2.08740),
    checkpoint(375, 592, 2.07739),
    checkpoint(376, 593, 2.06811),
    checkpoint(377, 594, 2.05932),
    checkpoint(378, 595, 2.05102),
    checkpoint(380, 596, 2.04321),
    checkpoint(381, 597, 2.03588),
    checkpoint(382, 599, 2.02905),
    checkpoint(384, 600, 2.02270),
    checkpoint(385, 601, 2.01684),
    checkpoint(386, 602, 2.01147),
    checkpoint(388, 603, 2.00659),
    checkpoint(389, 604, 2.00219),
    checkpoint(390, 605, 1.99707),
    checkpoint(392, 606, 1.99145),
    checkpoint(393, 607, 1.98535),
    checkpoint(395, 608, 1.97875),
    checkpoint(396, 609, 1.97167),
    checkpoint(398, 609, 1.96411),
    checkpoint(399, 610, 1.95605),
    checkpoint(401, 611, 1.94750),
    checkpoint(402, 612, 1.93847),
    checkpoint(403, 613, 1.92895),
    checkpoint(405, 614, 1.91894),
    checkpoint(406, 615, 1.90966),
    checkpoint(408, 616, 1.90087),
    checkpoint(410, 616, 1.89257),
    checkpoint(411, 617, 1.88476),
    checkpoint(413, 618, 1.87744),
    checkpoint(414, 619, 1.87060),
    checkpoint(416, 620, 1.86425),
    checkpoint(417, 620, 1.85839),
    checkpoint(419, 621, 1.85302),
    checkpoint(420, 622, 1.84814),
    checkpoint(422, 622, 1.84375),
    checkpoint(424, 623, 1.83959),
    checkpoint(425, 624, 1.83569),
    checkpoint(427, 625, 1.83203),
    checkpoint(428, 625, 1.82861),
    checkpoint(430, 626, 1.82543),
    checkpoint(432, 626, 1.82250),
    checkpoint(433, 627, 1.81982),
    checkpoint(435, 628, 1.81738),
    checkpoint(437, 628, 1.81518),
    checkpoint(438, 629, 1.81323),
    checkpoint(440, 630, 1.81152),
    checkpoint(441, 630, 1.81005),
    checkpoint(443, 631, 1.80883),
    checkpoint(445, 631, 1.80786),
    checkpoint(446, 632, 1.80712),
    checkpoint(448, 632, 1.80664),
    checkpoint(450, 633, 1.80639),
    checkpoint(451, 633, 1.80639),
    checkpoint(453, 634, 1.80639),
    checkpoint(455, 635, 1.80639),
    checkpoint(457, 635, 1.80639),
    checkpoint(458, 636, 1.80639),
    checkpoint(460, 636, 1.80639),
    checkpoint(462, 637, 1.80639),
    checkpoint(463, 637, 1.80541),
    checkpoint(465, 638, 1.80371),
    checkpoint(467, 638, 1.80126),
    checkpoint(468, 639, 1.79809),
    checkpoint(470, 639, 1.79418),
    checkpoint(472, 640, 1.78955),
    checkpoint(473, 640, 1.78417),
    checkpoint(475, 641, 1.77832),
    checkpoint(477, 641, 1.77197),
    checkpoint(479, 641, 1.76513),
    checkpoint(480, 642, 1.75781),
    checkpoint(482, 642, 1.75000),
    checkpoint(484, 643, 1.74169),
    checkpoint(485, 643, 1.73291),
    checkpoint(487, 644, 1.72363),
    checkpoint(489, 644, 1.71386),
    checkpoint(491, 644, 1.70385),
    checkpoint(492, 645, 1.69360),
    checkpoint(494, 645, 1.68310),
    checkpoint(496, 646, 1.67236),
    checkpoint(498, 646, 1.66137),
    checkpoint(499, 646, 1.65112),
    checkpoint(501, 647, 1.64160),
    checkpoint(503, 647, 1.63256),
    checkpoint(504, 647, 1.62402),
    checkpoint(506, 648, 1.61596),
    checkpoint(508, 648, 1.60839),
    checkpoint(510, 648, 1.60034),
    checkpoint(511, 648, 1.59179),
    checkpoint(513, 649, 1.58276),
    checkpoint(515, 649, 1.57324),
    checkpoint(517, 649, 1.56323),
    checkpoint(518, 649, 1.55297),
    checkpoint(520, 650, 1.54248),
    checkpoint(522, 650, 1.53173),
    checkpoint(524, 650, 1.52075),
    checkpoint(525, 650, 1.51049),
    checkpoint(527, 650, 1.50097),
    checkpoint(529, 650, 1.49194),
    checkpoint(531, 650, 1.48339),
    checkpoint(532, 651, 1.47534),
    checkpoint(534, 651, 1.46777),
    checkpoint(536, 651, 1.46069),
    checkpoint(538, 651, 1.45410),
    checkpoint(540, 651, 1.44799),
    checkpoint(541, 651, 1.44238),
    checkpoint(543, 651, 1.43725),
    checkpoint(545, 651, 1.43261),
    checkpoint(547, 651, 1.42822),
    checkpoint(548, 651, 1.42407),
    checkpoint(550, 651, 1.42016),
    checkpoint(552, 651, 1.41650),
    checkpoint(554, 651, 1.41308),
    checkpoint(555, 651, 1.40991),
    checkpoint(557, 651, 1.40698),
    checkpoint(559, 650, 1.40429),
    checkpoint(561, 650, 1.40185),
    checkpoint(562, 650, 1.39965),
    checkpoint(564, 650, 1.39770),
    checkpoint(566, 650, 1.39599),
    checkpoint(568, 650, 1.39453),
    checkpoint(569, 650, 1.39331),
    checkpoint(571, 650, 1.39233),
    checkpoint(573, 649, 1.39160),
    checkpoint(575, 649, 1.39111),
    checkpoint(576, 649, 1.39086),
    checkpoint(578, 649, 1.39086),
    checkpoint(580, 649, 1.39086),
    checkpoint(582, 649, 1.39086),
    checkpoint(584, 648, 1.39086),
    checkpoint(585, 648, 1.39086),
    checkpoint(587, 648, 1.39086),
    checkpoint(589, 648, 1.39086),
    checkpoint(591, 647, 1.39086),
    checkpoint(592, 647, 1.39086),
    checkpoint(594, 647, 1.39086),
    checkpoint(596, 647, 1.39086),
    checkpoint(598, 647, 1.39086),
    checkpoint(599, 646, 1.39086),
    checkpoint(601, 646, 1.39086),
    checkpoint(603, 646, 1.38989),
    checkpoint(605, 646, 1.38818),
    checkpoint(606, 645, 1.38574),
    checkpoint(608, 645, 1.38256),
    checkpoint(610, 645, 1.37866),
    checkpoint(612, 644, 1.37402),
    checkpoint(613, 644, 1.36865),
    checkpoint(615, 644, 1.36279),
    checkpoint(617, 644, 1.35742),
    checkpoint(619, 643, 1.35253),
    checkpoint(620, 643, 1.34814),
    checkpoint(622, 643, 1.34399),
    checkpoint(624, 642, 1.34008),
    checkpoint(626, 642, 1.33642),
    checkpoint(627, 642, 1.33300),
    checkpoint(629, 642, 1.32983),
    checkpoint(631, 641, 1.32690),
    checkpoint(633, 641, 1.32421),
    checkpoint(634, 641, 1.32177),
    checkpoint(636, 640, 1.31958),
    checkpoint(638, 640, 1.31762),
    checkpoint(640, 639, 1.31591),
    checkpoint(641, 639, 1.31445),
    checkpoint(643, 639, 1.31323),
    checkpoint(645, 638, 1.31225),
    checkpoint(647, 638, 1.31152),
    checkpoint(648, 638, 1.31103),
    checkpoint(650, 637, 1.31079),
    checkpoint(652, 637, 1.31079),
    checkpoint(654, 637, 1.31176),
    checkpoint(655, 636, 1.31347),
    checkpoint(657, 636, 1.31591),
    checkpoint(659, 635, 1.31909),
    checkpoint(661, 635, 1.32299),
    checkpoint(662, 635, 1.32763),
    checkpoint(664, 634, 1.33300),
    checkpoint(666, 634, 1.33886),
    checkpoint(668, 633, 1.34521),
    checkpoint(669, 633, 1.35205),
    checkpoint(671, 633, 1.35937),
    checkpoint(673, 632, 1.36718),
    checkpoint(674, 632, 1.37548),
    checkpoint(676, 631, 1.38427),
    checkpoint(678, 631, 1.39355),
    checkpoint(680, 631, 1.40332),
    checkpoint(681, 630, 1.41333),
    checkpoint(683, 630, 1.42358),
    checkpoint(685, 630, 1.43408),
    checkpoint(687, 629, 1.44482),
    checkpoint(688, 629, 1.45581),
    checkpoint(690, 628, 1.46704),
    checkpoint(692, 628, 1.47851),
    checkpoint(694, 628, 1.49023),
    checkpoint(695, 628, 1.50219),
    checkpoint(697, 627, 1.51440),
    checkpoint(699, 627, 1.52685),
    checkpoint(701, 627, 1.53955),
    checkpoint(702, 626, 1.55249),
    checkpoint(704, 626, 1.56567),
    checkpoint(706, 626, 1.57910),
    checkpoint(708, 626, 1.59277),
    checkpoint(709, 625, 1.60668),
    checkpoint(711, 625, 1.62084),
    checkpoint(713, 625, 1.63525),
    checkpoint(715, 625, 1.64990),
    checkpoint(716, 625, 1.66455),
    checkpoint(718, 625, 1.67822),
    checkpoint(720, 625, 1.69116),
    checkpoint(722, 624, 1.70336),
    checkpoint(723, 624, 1.71484),
    checkpoint(725, 624, 1.72558),
    checkpoint(727, 624, 1.73559),
    checkpoint(729, 624, 1.74487),
    checkpoint(730, 624, 1.75366),
    checkpoint(732, 624, 1.76196),
    checkpoint(734, 624, 1.76977),
    checkpoint(736, 624, 1.77709),
    checkpoint(737, 624, 1.78393),
    checkpoint(739, 624, 1.79028),
    checkpoint(741, 625, 1.79614),
    checkpoint(743, 625, 1.80151),
    checkpoint(744, 625, 1.80737),
    checkpoint(746, 625, 1.81372),
    checkpoint(748, 625, 1.82055),
    checkpoint(750, 625, 1.82788),
    checkpoint(751, 625, 1.83569),
    checkpoint(753, 626, 1.84399),
    checkpoint(755, 626, 1.85278),
    checkpoint(757, 626, 1.86206),
    checkpoint(758, 626, 1.87182),
    checkpoint(760, 627, 1.88183),
    checkpoint(762, 627, 1.89208),
    checkpoint(764, 627, 1.90258),
    checkpoint(765, 627, 1.91333),
    checkpoint(767, 628, 1.92431),
    checkpoint(769, 628, 1.93554),
    checkpoint(770, 628, 1.94702),
    checkpoint(772, 629, 1.95874),
    checkpoint(774, 629, 1.97070),
    checkpoint(776, 630, 1.98291),
    checkpoint(777, 630, 1.99536),
    checkpoint(779, 630, 2.00805),
    checkpoint(781, 631, 2.02099),
    checkpoint(782, 631, 2.03417),
    checkpoint(784, 632, 2.04760),
    checkpoint(786, 632, 2.06127),
    checkpoint(787, 633, 2.07519),
    checkpoint(789, 633, 2.08935),
    checkpoint(791, 634, 2.10375),
    checkpoint(792, 634, 2.11840),
    checkpoint(794, 635, 2.13305),
    checkpoint(796, 636, 2.14770),
    checkpoint(797, 636, 2.16235),
    checkpoint(799, 637, 2.17700),
    checkpoint(800, 638, 2.19165),
    checkpoint(802, 638, 2.20629),
    checkpoint(804, 639, 2.22094),
    checkpoint(805, 640, 2.23559),
    checkpoint(807, 640, 2.25024),
    checkpoint(808, 641, 2.26489),
    checkpoint(810, 642, 2.27954),
    checkpoint(811, 643, 2.29418),
    checkpoint(813, 644, 2.30883),
    checkpoint(814, 644, 2.32348),
    checkpoint(816, 645, 2.33813),
    checkpoint(817, 646, 2.35278),
    checkpoint(819, 647, 2.36743),
    checkpoint(820, 648, 2.38208),
    checkpoint(822, 649, 2.39672),
    checkpoint(823, 650, 2.41137),
    checkpoint(825, 651, 2.42602),
    checkpoint(826, 652, 2.44067),
    checkpoint(827, 653, 2.45532),
    checkpoint(829, 654, 2.46997),
    checkpoint(830, 655, 2.48461),
    checkpoint(832, 656, 2.49926),
    checkpoint(833, 657, 2.51391),
    checkpoint(834, 658, 2.52856),
    checkpoint(835, 659, 2.54321),
    checkpoint(837, 660, 2.55786),
    checkpoint(838, 662, 2.57250),
    checkpoint(839, 663, 2.58715),
    checkpoint(840, 664, 2.60180),
    checkpoint(842, 665, 2.61645),
    checkpoint(843, 666, 2.63110),
    checkpoint(844, 668, 2.64575),
    checkpoint(845, 669, 2.66040),
    checkpoint(846, 670, 2.67504),
    checkpoint(848, 671, 2.68969),
    checkpoint(849, 673, 2.70434),
    checkpoint(850, 674, 2.71899),
    checkpoint(851, 675, 2.73364),
    checkpoint(852, 677, 2.74829),
    checkpoint(853, 678, 2.76293),
    checkpoint(854, 680, 2.77758),
    checkpoint(855, 681, 2.79223),
    checkpoint(856, 682, 2.80688),
    checkpoint(857, 684, 2.82153),
    checkpoint(858, 685, 2.83618),
    checkpoint(859, 687, 2.85083),
    checkpoint(859, 688, 2.86547),
    checkpoint(860, 690, 2.88012),
    checkpoint(861, 691, 2.89477),
    checkpoint(862, 693, 2.90942),
    checkpoint(863, 694, 2.92407),
    checkpoint(864, 696, 2.93872),
    checkpoint(864, 697, 2.95336),
    checkpoint(865, 699, 2.96801),
    checkpoint(866, 700, 2.98266),
    checkpoint(866, 702, 2.99731),
    checkpoint(867, 703, 3.01196),
    checkpoint(868, 705, 3.02661),
    checkpoint(868, 706, 3.04125),
    checkpoint(869, 708, 3.05590),
    checkpoint(869, 710, 3.07055),
    checkpoint(870, 711, 3.08520),
    checkpoint(871, 713, 3.09985),
    checkpoint(871, 714, 3.11450),
    checkpoint(871, 716, 3.12915),
    checkpoint(872, 718, 3.14379),
    checkpoint(872, 719, 3.15844),
    checkpoint(873, 721, 3.17309),
    checkpoint(873, 723, 3.18774),
    checkpoint(873, 724, 3.20239),
    checkpoint(874, 726, 3.21704),
    checkpoint(874, 728, 3.23168),
    checkpoint(874, 729, 3.24633),
    checkpoint(875, 731, 3.26098),
    checkpoint(875, 733, 3.27563),
    checkpoint(875, 734, 3.29028),
    checkpoint(875, 736, 3.30493),
    checkpoint(875, 738, 3.31958),
    checkpoint(876, 740, 3.33422),
    checkpoint(876, 741, 3.34887),
    checkpoint(876, 743, 3.36352),
    checkpoint(876, 745, 3.37817),
    checkpoint(876, 746, 3.39282),
    checkpoint(876, 748, 3.40747),
    checkpoint(876, 750, 3.42211),
    checkpoint(876, 751, 3.43676),
    checkpoint(876, 753, 3.45141),
    checkpoint(876, 755, 3.46606),
    checkpoint(875, 757, 3.48071),
    checkpoint(875, 758, 3.49536),
    checkpoint(875, 760, 3.51000),
    checkpoint(875, 762, 3.52465),
    checkpoint(875, 763, 3.53930),
    checkpoint(875, 765, 3.55395),
    checkpoint(874, 767, 3.56860),
    checkpoint(874, 768, 3.58325),
    checkpoint(874, 770, 3.59790),
    checkpoint(873, 772, 3.61254),
    checkpoint(873, 773, 3.62719),
    checkpoint(873, 775, 3.64184),
    checkpoint(872, 777, 3.65649),
    checkpoint(872, 778, 3.67114),
    checkpoint(871, 780, 3.68579),
    checkpoint(871, 782, 3.70043),
    checkpoint(870, 783, 3.71508),
    checkpoint(870, 785, 3.72973),
    checkpoint(869, 786, 3.74438),
    checkpoint(869, 788, 3.75903),
    checkpoint(868, 790, 3.77368),
    checkpoint(867, 791, 3.78833),
    checkpoint(867, 793, 3.80297),
    checkpoint(866, 794, 3.81762),
    checkpoint(865, 796, 3.83227),
    checkpoint(865, 797, 3.84692),
    checkpoint(864, 799, 3.86157),
    checkpoint(863, 800, 3.87622),
    checkpoint(862, 802, 3.89086),
    checkpoint(862, 803, 3.90551),
    checkpoint(861, 805, 3.92016),
    checkpoint(860, 806, 3.93481),
    checkpoint(859, 808, 3.94946),
    checkpoint(858, 809, 3.96411),
    checkpoint(857, 811, 3.97875),
    checkpoint(856, 812, 3.99340),
    checkpoint(855, 813, 4.00805),
    checkpoint(854, 815, 4.02270),
    checkpoint(853, 816, 4.03735),
    checkpoint(852, 818, 4.05200),
    checkpoint(851, 819, 4.06665),
    checkpoint(850, 820, 4.08129),
    checkpoint(849, 822, 4.09594),
    checkpoint(848, 823, 4.11059),
    checkpoint(847, 824, 4.12524),
    checkpoint(846, 825, 4.13989),
    checkpoint(845, 827, 4.15454),
    checkpoint(844, 828, 4.16918),
    checkpoint(842, 829, 4.18383),
    checkpoint(841, 830, 4.19848),
    checkpoint(840, 832, 4.21313),
    checkpoint(839, 833, 4.22778),
    checkpoint(838, 834, 4.24243),
    checkpoint(836, 835, 4.25708),
    checkpoint(835, 836, 4.27172),
    checkpoint(834, 837, 4.28637),
    checkpoint(832, 838, 4.30102),
    checkpoint(831, 839, 4.31567),
    checkpoint(830, 840, 4.33032),
    checkpoint(828, 841, 4.34497),
    checkpoint(827, 842, 4.35961),
    checkpoint(826, 843, 4.37426),
    checkpoint(824, 844, 4.38891),
    checkpoint(823, 845, 4.40356),
    checkpoint(821, 846, 4.41821),
    checkpoint(820, 847, 4.43286),
    checkpoint(818, 848, 4.44750),
    checkpoint(817, 849, 4.46215),
    checkpoint(815, 849, 4.47680),
    checkpoint(814, 850, 4.49047),
    checkpoint(812, 851, 4.50341),
    checkpoint(811, 852, 4.51562),
    checkpoint(809, 853, 4.52709),
    checkpoint(808, 853, 4.53784),
    checkpoint(806, 854, 4.54785),
    checkpoint(805, 855, 4.55712),
    checkpoint(803, 855, 4.56591),
    checkpoint(802, 856, 4.57421),
    checkpoint(800, 857, 4.58203),
    checkpoint(798, 857, 4.58935),
    checkpoint(797, 858, 4.59619),
    checkpoint(795, 858, 4.60253),
    checkpoint(793, 859, 4.60839),
    checkpoint(792, 859, 4.61376),
    checkpoint(790, 860, 4.61865),
    checkpoint(789, 860, 4.62304),
    checkpoint(787, 861, 4.62719),
    checkpoint(785, 861, 4.63110),
    checkpoint(784, 862, 4.63476),
    checkpoint(782, 862, 4.63818),
    checkpoint(780, 862, 4.64135),
    checkpoint(779, 863, 4.64428),
    checkpoint(777, 863, 4.64794),
    checkpoint(775, 864, 4.65234),
    checkpoint(773, 864, 4.65747),
    checkpoint(772, 864, 4.66308),
    checkpoint(770, 865, 4.66918),
    checkpoint(768, 865, 4.67578),
    checkpoint(767, 865, 4.68286),
    checkpoint(765, 865, 4.69042),
    checkpoint(763, 866, 4.69848),
    checkpoint(762, 866, 4.70703),
    checkpoint(760, 866, 4.71606),
    checkpoint(758, 866, 4.72558),
    checkpoint(756, 867, 4.73559),
    checkpoint(755, 867, 4.74584),
    checkpoint(753, 867, 4.75634),
    checkpoint(751, 867, 4.76708),
    checkpoint(749, 867, 4.77807),
    checkpoint(748, 867, 4.78930),
    checkpoint(746, 868, 4.80078),
    checkpoint(744, 868, 4.81152),
    checkpoint(742, 868, 4.82153),
    checkpoint(741, 868, 4.83081),
    checkpoint(739, 868, 4.83959),
    checkpoint(737, 868, 4.84790),
    checkpoint(735, 868, 4.85571),
    checkpoint(734, 868, 4.86303),
    checkpoint(732, 868, 4.86987),
    checkpoint(730, 868, 4.87622),
    checkpoint(729, 868, 4.88208),
    checkpoint(727, 868, 4.88745),
    checkpoint(725, 868, 4.89233),
    checkpoint(723, 868, 4.89672),
    checkpoint(722, 868, 4.90087),
    checkpoint(720, 868, 4.90478),
    checkpoint(718, 868, 4.90942),
    checkpoint(716, 868, 4.91479),
    checkpoint(715, 867, 4.92065),
    checkpoint(713, 867, 4.92700),
    checkpoint(711, 867, 4.93383),
    checkpoint(709, 867, 4.94116),
    checkpoint(708, 867, 4.94897),
    checkpoint(706, 867, 4.95727),
    checkpoint(704, 866, 4.96606),
    checkpoint(702, 866, 4.97534),
    checkpoint(701, 866, 4.98510),
    checkpoint(699, 866, 4.99511),
    checkpoint(697, 865, 5.00537),
    checkpoint(695, 865, 5.01586),
    checkpoint(694, 865, 5.02563),
    checkpoint(692, 865, 5.03466),
    checkpoint(690, 864, 5.04321),
    checkpoint(688, 864, 5.05126),
    checkpoint(687, 864, 5.05883),
    checkpoint(685, 863, 5.06591),
    checkpoint(683, 863, 5.07250),
    checkpoint(682, 862, 5.07861),
    checkpoint(680, 862, 5.08422),
    checkpoint(678, 862, 5.08935),
    checkpoint(676, 861, 5.09399),
    checkpoint(675, 861, 5.09838),
    checkpoint(673, 860, 5.10253),
    checkpoint(671, 860, 5.10644),
    checkpoint(670, 859, 5.11010),
    checkpoint(668, 859, 5.11352),
    checkpoint(666, 859, 5.11669),
    checkpoint(665, 858, 5.11962),
    checkpoint(663, 857, 5.12231),
    checkpoint(661, 857, 5.12475),
    checkpoint(660, 856, 5.12695),
    checkpoint(658, 856, 5.12890),
    checkpoint(656, 855, 5.13061),
    checkpoint(655, 855, 5.13208),
    checkpoint(653, 854, 5.13330),
    checkpoint(651, 854, 5.13427),
    checkpoint(650, 853, 5.13500),
    checkpoint(648, 852, 5.13549),
    checkpoint(646, 852, 5.13574),
    checkpoint(645, 851, 5.13574),
    checkpoint(643, 851, 5.13574),
    checkpoint(641, 850, 5.13574),
    checkpoint(640, 849, 5.13574),
    checkpoint(638, 849, 5.13574),
    checkpoint(636, 848, 5.13574),
    checkpoint(635, 848, 5.13574),
    checkpoint(633, 847, 5.13574),
    checkpoint(631, 846, 5.13574),
    checkpoint(630, 846, 5.13574),
    checkpoint(628, 845, 5.13574),
    checkpoint(626, 844, 5.13574),
    checkpoint(625, 844, 5.13574),
    checkpoint(623, 843, 5.13574),
    checkpoint(621, 842, 5.13574),
    checkpoint(620, 842, 5.13574),
    checkpoint(618, 841, 5.13574),
    checkpoint(616, 840, 5.13574),
    checkpoint(615, 840, 5.13574),
    checkpoint(613, 839, 5.13574),
    checkpoint(612, 838, 5.13574),
    checkpoint(610, 838, 5.13476),
    checkpoint(608, 837, 5.13305),
    checkpoint(607, 836, 5.13061),
    checkpoint(605, 835, 5.12744),
    checkpoint(603, 835, 5.12353),
    checkpoint(602, 834, 5.11889),
    checkpoint(600, 833, 5.11352),
    checkpoint(598, 833, 5.10766),
    checkpoint(597, 832, 5.10131),
    checkpoint(595, 831, 5.09448),
    checkpoint(594, 831, 5.08813),
    checkpoint(592, 830, 5.08227),
    checkpoint(590, 829, 5.07690),
    checkpoint(589, 829, 5.07202),
    checkpoint(587, 828, 5.06762),
    checkpoint(585, 827, 5.06347),
    checkpoint(584, 826, 5.05957),
    checkpoint(582, 826, 5.05493),
    checkpoint(580, 825, 5.04956),
    checkpoint(579, 825, 5.04370),
    checkpoint(577, 824, 5.03735),
    checkpoint(575, 823, 5.03051),
    checkpoint(574, 823, 5.02319),
    checkpoint(572, 822, 5.01538),
    checkpoint(570, 821, 5.00708),
    checkpoint(569, 821, 4.99829),
    checkpoint(567, 820, 4.98901),
    checkpoint(565, 819, 4.97924),
    checkpoint(564, 819, 4.96923),
    checkpoint(562, 818, 4.95898),
    checkpoint(560, 818, 4.94848),
    checkpoint(559, 817, 4.93774),
    checkpoint(557, 817, 4.92675),
    checkpoint(555, 816, 4.91552),
    checkpoint(554, 815, 4.90405),
    checkpoint(552, 815, 4.89233),
    checkpoint(550, 814, 4.88037),
    checkpoint(549, 814, 4.86816),
    checkpoint(547, 813, 4.85571),
    checkpoint(545, 813, 4.84301),
    checkpoint(543, 812, 4.83007),
    checkpoint(542, 812, 4.81689),
    checkpoint(540, 812, 4.80346),
    checkpoint(538, 811, 4.78979),
    checkpoint(537, 811, 4.77587),
    checkpoint(535, 810, 4.76171),
    checkpoint(533, 810, 4.74731),
    checkpoint(531, 810, 4.73266),
    checkpoint(530, 809, 4.71801),
    checkpoint(528, 809, 4.70336),
    checkpoint(526, 809, 4.68872),
    checkpoint(525, 808, 4.67407),
    checkpoint(523, 808, 4.65942),
    checkpoint(521, 808, 4.64477),
    checkpoint(519, 808, 4.63012),
    checkpoint(518, 807, 4.61547),
    checkpoint(516, 807, 4.60083),
    checkpoint(514, 807, 4.58618),
    checkpoint(512, 807, 4.57153),
    checkpoint(511, 807, 4.55688),
    checkpoint(509, 807, 4.54223),
    checkpoint(507, 807, 4.52758),
    checkpoint(505, 807, 4.51293),
    checkpoint(504, 806, 4.49829),
    checkpoint(502, 806, 4.48364),
    checkpoint(500, 806, 4.46899),
    checkpoint(499, 806, 4.45434),
    checkpoint(497, 807, 4.43969),
    checkpoint(495, 807, 4.42504),
    checkpoint(493, 807, 4.41137),
    checkpoint(492, 807, 4.39843),
    checkpoint(490, 807, 4.38623),
    checkpoint(488, 807, 4.37475),
    checkpoint(486, 807, 4.36401),
    checkpoint(485, 808, 4.35400),
    checkpoint(483, 808, 4.34472),
    checkpoint(481, 808, 4.33593),
    checkpoint(480, 808, 4.32763),
    checkpoint(478, 809, 4.31982),
    checkpoint(476, 809, 4.31250),
    checkpoint(474, 809, 4.30566),
    checkpoint(473, 810, 4.29931),
    checkpoint(471, 810, 4.29345),
    checkpoint(469, 810, 4.28808),
    checkpoint(468, 811, 4.28320),
    checkpoint(466, 811, 4.27880),
    checkpoint(464, 812, 4.27465),
    checkpoint(463, 812, 4.27075),
    checkpoint(461, 812, 4.26708),
    checkpoint(459, 813, 4.26367),
    checkpoint(458, 813, 4.26049),
    checkpoint(456, 814, 4.25756),
    checkpoint(454, 814, 4.25488),
    checkpoint(453, 815, 4.25244),
    checkpoint(451, 816, 4.25024),
    checkpoint(449, 816, 4.24829),
    checkpoint(448, 817, 4.24658),
    checkpoint(446, 817, 4.24511),
    checkpoint(445, 818, 4.24291),
    checkpoint(443, 819, 4.24096),
    checkpoint(441, 819, 4.23925),
    checkpoint(440, 820, 4.23779),
    checkpoint(438, 820, 4.23657),
    checkpoint(436, 821, 4.23559),
    checkpoint(435, 822, 4.23486),
    checkpoint(433, 822, 4.23437),
    checkpoint(431, 823, 4.23413),
    checkpoint(430, 824, 4.23413),
    checkpoint(428, 824, 4.23413),
    checkpoint(427, 825, 4.23413),
    checkpoint(425, 826, 4.23413),
    checkpoint(423, 827, 4.23510),
    checkpoint(422, 827, 4.23681),
    checkpoint(420, 828, 4.23925),
    checkpoint(419, 829, 4.24243),
    checkpoint(417, 829, 4.24633),
    checkpoint(415, 830, 4.25097),
    checkpoint(414, 831, 4.25634),
    checkpoint(412, 832, 4.26220),
    checkpoint(410, 832, 4.26855),
    checkpoint(409, 833, 4.27539),
    checkpoint(407, 834, 4.28271),
    checkpoint(406, 835, 4.29052),
    checkpoint(404, 835, 4.29882),
    checkpoint(402, 836, 4.30761),
    checkpoint(401, 837, 4.31689),
    checkpoint(399, 837, 4.32666),
    checkpoint(398, 838, 4.33666),
    checkpoint(396, 839, 4.34692),
    checkpoint(394, 840, 4.35742),
    checkpoint(393, 840, 4.36718),
    checkpoint(391, 841, 4.37622),
    checkpoint(389, 842, 4.38476),
    checkpoint(388, 842, 4.39282),
    checkpoint(386, 843, 4.40039),
    checkpoint(385, 844, 4.40747),
    checkpoint(383, 844, 4.41406),
    checkpoint(381, 845, 4.42016),
    checkpoint(380, 846, 4.42675),
    checkpoint(378, 846, 4.43383),
    checkpoint(376, 847, 4.44140),
    checkpoint(375, 848, 4.44946),
    checkpoint(373, 848, 4.45800),
    checkpoint(371, 849, 4.46704),
    checkpoint(370, 849, 4.47656),
    checkpoint(368, 850, 4.48657),
    checkpoint(366, 851, 4.49682),
    checkpoint(365, 851, 4.50732),
    checkpoint(363, 852, 4.51806),
    checkpoint(361, 852, 4.52905),
    checkpoint(360, 853, 4.54028),
    checkpoint(358, 853, 4.55175),
    checkpoint(356, 854, 4.56347),
    checkpoint(355, 854, 4.57543),
    checkpoint(353, 855, 4.58764),
    checkpoint(351, 855, 4.60009),
    checkpoint(349, 856, 4.61279),
    checkpoint(348, 856, 4.62573),
    checkpoint(346, 856, 4.63891),
    checkpoint(344, 857, 4.65234),
    checkpoint(343, 857, 4.66601),
    checkpoint(341, 858, 4.67993),
    checkpoint(339, 858, 4.69409),
    checkpoint(337, 858, 4.70849),
    checkpoint(336, 859, 4.72314),
    checkpoint(334, 859, 4.73779),
    checkpoint(332, 859, 4.75244),
    checkpoint(331, 859, 4.76708),
    checkpoint(329, 860, 4.78173),
    checkpoint(327, 860, 4.79638),
    checkpoint(325, 860, 4.81103),
    checkpoint(324, 860, 4.82568),
    checkpoint(322, 860, 4.84033),
    checkpoint(320, 861, 4.85498),
    checkpoint(318, 861, 4.86962),
    checkpoint(317, 861, 4.88427),
    checkpoint(315, 861, 4.89892),
    checkpoint(313, 861, 4.91357),
    checkpoint(311, 861, 4.92822),
    checkpoint(310, 861, 4.94287),
    checkpoint(308, 861, 4.95751),
    checkpoint(306, 861, 4.97216),
    checkpoint(304, 861, 4.98681),
    checkpoint(303, 861, 5.00146),
    checkpoint(301, 861, 5.01611),
    checkpoint(299, 861, 5.03076),
    checkpoint(298, 860, 5.04541),
    checkpoint(296, 860, 5.06005),
    checkpoint(294, 860, 5.07470),
    checkpoint(292, 860, 5.08935),
    checkpoint(291, 860, 5.10400),
    checkpoint(289, 859, 5.11865),
    checkpoint(287, 859, 5.13330),
    checkpoint(286, 859, 5.14794),
    checkpoint(284, 859, 5.16259),
    checkpoint(282, 858, 5.17724),
    checkpoint(281, 858, 5.19189),
    checkpoint(279, 857, 5.20654),
    checkpoint(277, 857, 5.22119),
    checkpoint(276, 857, 5.23583),
    checkpoint(274, 856, 5.25048),
    checkpoint(272, 856, 5.26513),
    checkpoint(271, 855, 5.27978),
    checkpoint(269, 855, 5.29443),
    checkpoint(267, 854, 5.30908),
    checkpoint(266, 853, 5.32373),
    checkpoint(264, 853, 5.33837),
    checkpoint(263, 852, 5.35302),
    checkpoint(261, 852, 5.36767),
    checkpoint(259, 851, 5.38232),
    checkpoint(258, 850, 5.39697),
    checkpoint(256, 849, 5.41162),
    checkpoint(255, 849, 5.42626),
    checkpoint(253, 848, 5.44091),
    checkpoint(252, 847, 5.45556),
    checkpoint(250, 846, 5.47021),
    checkpoint(249, 846, 5.48388),
    checkpoint(247, 845, 5.49682),
    checkpoint(246, 844, 5.50903),
    checkpoint(244, 843, 5.52050),
    checkpoint(243, 842, 5.53125),
    checkpoint(241, 841, 5.54125),
    checkpoint(240, 840, 5.55053),
    checkpoint(239, 839, 5.55932),
    checkpoint(237, 838, 5.56860),
    checkpoint(236, 837, 5.57836),
    checkpoint(234, 836, 5.58837),
    checkpoint(233, 835, 5.59863),
    checkpoint(232, 834, 5.60913),
    checkpoint(230, 833, 5.61987),
    checkpoint(229, 832, 5.63085),
    checkpoint(228, 831, 5.64208),
    checkpoint(227, 830, 5.65258),
    checkpoint(225, 829, 5.66235),
    checkpoint(224, 827, 5.67138),
    checkpoint(223, 826, 5.67993),
    checkpoint(221, 825, 5.68798),
    checkpoint(220, 824, 5.69555),
    checkpoint(219, 823, 5.70263),
    checkpoint(218, 821, 5.70922),
    checkpoint(217, 820, 5.71533),
    checkpoint(215, 819, 5.72094),
    checkpoint(214, 818, 5.72607),
    checkpoint(213, 816, 5.73071),
    checkpoint(212, 815, 5.73510),
    checkpoint(211, 814, 5.73925),
    checkpoint(210, 812, 5.74316),
    checkpoint(209, 811, 5.74682),
    checkpoint(208, 810, 5.75024),
    checkpoint(206, 808, 5.75341),
    checkpoint(205, 807, 5.75634),
    checkpoint(204, 806, 5.75903),
    checkpoint(203, 804, 5.76147),
    checkpoint(202, 803, 5.76367),
    checkpoint(201, 802, 5.76562),
    checkpoint(200, 800, 5.76831),
    checkpoint(199, 799, 5.77172),
    checkpoint(198, 797, 5.77587),
    checkpoint(197, 796, 5.78076),
    checkpoint(196, 794, 5.78613),
    checkpoint(195, 793, 5.79199),
    checkpoint(194, 792, 5.79833),
    checkpoint(193, 790, 5.80517),
    checkpoint(192, 789, 5.81250),
    checkpoint(191, 787, 5.82031),
    checkpoint(190, 786, 5.82861),
    checkpoint(189, 784, 5.83740),
    checkpoint(188, 783, 5.84667),
    checkpoint(187, 781, 5.85644),
    checkpoint(186, 780, 5.86645),
    checkpoint(186, 778, 5.87670),
    checkpoint(185, 777, 5.88720),
    checkpoint(184, 775, 5.89794),
    checkpoint(183, 774, 5.90893),
    checkpoint(182, 772, 5.92016),
    checkpoint(181, 771, 5.93164),
    checkpoint(180, 769, 5.94238),
    checkpoint(180, 768, 5.95239),
    checkpoint(179, 766, 5.96166),
    checkpoint(178, 764, 5.97045),
    checkpoint(177, 763, 5.97875),
    checkpoint(176, 761, 5.98657),
    checkpoint(176, 760, 5.99389),
    checkpoint(175, 758, 6.00073),
    checkpoint(174, 757, 6.00708),
    checkpoint(174, 755, 6.01293),
    checkpoint(173, 753, 6.01831),
    checkpoint(172, 752, 6.02319),
    checkpoint(171, 750, 6.02758),
    checkpoint(171, 749, 6.03173),
    checkpoint(170, 747, 6.03662),
    checkpoint(170, 745, 6.04199),
    checkpoint(169, 744, 6.04785),
    checkpoint(168, 742, 6.05419),
    checkpoint(168, 740, 6.06103),
    checkpoint(167, 739, 6.06835),
    checkpoint(166, 737, 6.07617),
    checkpoint(166, 735, 6.08447),
    checkpoint(165, 734, 6.09326),
    checkpoint(165, 732, 6.10253),
    checkpoint(164, 730, 6.11230),
    checkpoint(164, 729, 6.12133),
    checkpoint(163, 727, 6.12988),
    checkpoint(163, 725, 6.13793),
    checkpoint(162, 724, 6.14550),
    checkpoint(162, 722, 6.15258),
    checkpoint(161, 720, 6.15917),
    checkpoint(161, 719, 6.16528),
    checkpoint(160, 717, 6.17089),
    checkpoint(160, 715, 6.17602),
    checkpoint(160, 713, 6.18066),
    checkpoint(159, 712, 6.18505),
    checkpoint(159, 710, 6.18920),
    checkpoint(158, 708, 6.19311),
    checkpoint(158, 707, 6.19677),
    checkpoint(158, 705, 6.20019),
    checkpoint(157, 703, 6.20434),
    checkpoint(157, 701, 6.20922),
    checkpoint(157, 700, 6.21459),
    checkpoint(156, 698, 6.22045),
    checkpoint(156, 696, 6.22680),
    checkpoint(156, 694, 6.23364),
    checkpoint(156, 693, 6.23999),
    checkpoint(155, 691, 6.24584),
    checkpoint(155, 689, 6.25122),
    checkpoint(155, 687, 6.25610),
    checkpoint(155, 686, 6.26049),
    checkpoint(154, 684, 6.26464),
    checkpoint(154, 682, 6.26855),
    checkpoint(154, 680, 6.27221),
    checkpoint(154, 679, 6.27563),
    checkpoint(154, 677, 6.27880),
    checkpoint(153, 675, 6.28173),
    checkpoint(153, 673, 0.00146),
    checkpoint(153, 672, 0.00390),
    checkpoint(153, 670, 0.00610),
    checkpoint(153, 668, 0.00805),
    checkpoint(153, 666, 0.00976),
    checkpoint(153, 665, 0.01123),
    checkpoint(152, 663, 0.01245),
    checkpoint(152, 661, 0.01342),
    checkpoint(152, 659, 0.01416),
    checkpoint(152, 658, 0.01464),
    checkpoint(152, 656, 0.01489),
    checkpoint(152, 654, 0.01489),
    checkpoint(152, 652, 0.01489),
    checkpoint(152, 650, 0.01489),
    checkpoint(152, 649, 0.01586),
    checkpoint(152, 647, 0.01757),
    checkpoint(152, 645, 0.02001),
    checkpoint(152, 643, 0.02319),
    checkpoint(151, 642, 0.02709),
    checkpoint(151, 640, 0.03076),
    checkpoint(151, 638, 0.03417),
    checkpoint(151, 636, 0.03735),
    checkpoint(151, 634, 0.04028),
    checkpoint(151, 633, 0.04296),
    checkpoint(151, 631, 0.04541),
    checkpoint(151, 629, 0.04760),
    checkpoint(151, 627, 0.04956),
    checkpoint(151, 626, 0.05126),
    checkpoint(151, 624, 0.05273),
    checkpoint(151, 622, 0.05395),
    checkpoint(151, 620, 0.05493),
    checkpoint(151, 619, 0.05566),
    checkpoint(151, 617, 0.05615),
    checkpoint(151, 615, 0.05639),
    checkpoint(151, 613, 0.05639),
    checkpoint(151, 611, 0.05639),
    checkpoint(151, 610, 0.05639),
    checkpoint(151, 608, 0.05639),
    checkpoint(152, 606, 0.05639),
    checkpoint(152, 604, 0.05639),
    checkpoint(152, 602, 0.05639),
    checkpoint(152, 601, 0.05639),
    checkpoint(152, 599, 0.05639),
    checkpoint(152, 597, 0.05639),
    checkpoint(152, 595, 0.05639),
    checkpoint(152, 594, 0.05639),
    checkpoint(152, 592, 0.05639),
    checkpoint(152, 590, 0.05639),
    checkpoint(152, 588, 0.05541),
    checkpoint(152, 586, 0.05371),
    checkpoint(152, 585, 0.05126),
    checkpoint(152, 583, 0.04809),
    checkpoint(152, 581, 0.04516),
    checkpoint(152, 579, 0.04248),
    checkpoint(152, 578, 0.04003),
    checkpoint(152, 576, 0.03784),
    checkpoint(153, 574, 0.03588),
    checkpoint(153, 572, 0.03417),
    checkpoint(153, 570, 0.03271),
    checkpoint(153, 569, 0.03149),
    checkpoint(153, 567, 0.03051),
    checkpoint(153, 565, 0.02978),
    checkpoint(153, 563, 0.02929),
    checkpoint(153, 561, 0.02905),
    checkpoint(153, 560, 0.02905),
    checkpoint(153, 558, 0.02807),
    checkpoint(153, 556, 0.02636),
    checkpoint(153, 554, 0.02392),
    checkpoint(153, 553, 0.02075),
    checkpoint(153, 551, 0.01684),
    checkpoint(153, 549, 0.01220),
    checkpoint(153, 547, 0.00781),
    checkpoint(153, 545, 0.00366),
    checkpoint(154, 544, 6.28271),
    checkpoint(154, 542, 6.27905),
    checkpoint(154, 540, 6.27563),
    checkpoint(154, 538, 6.27246),
    checkpoint(154, 537, 6.26953),
    checkpoint(154, 535, 6.26684),
    checkpoint(154, 533, 6.26440),
    checkpoint(154, 531, 6.26220),
    checkpoint(154, 529, 6.26025),
    checkpoint(154, 528, 6.25854),
    checkpoint(154, 526, 6.25708),
    checkpoint(154, 524, 6.25585),
    checkpoint(154, 522, 6.25488),
    checkpoint(154, 520, 6.25415),
    checkpoint(154, 519, 6.25366),
    checkpoint(154, 517, 6.25341),
    checkpoint(154, 515, 6.25341),
    checkpoint(154, 513, 6.25341),
    checkpoint(154, 512, 6.25341),
    checkpoint(154, 510, 6.25341),
    checkpoint(154, 508, 6.25341),
    checkpoint(154, 506, 6.25341),
    checkpoint(154, 504, 6.25341),
    checkpoint(154, 503, 6.25341),
    checkpoint(154, 501, 6.25341),
    checkpoint(154, 499, 6.25341),
    checkpoint(154, 497, 6.25341),
    checkpoint(154, 495, 6.25341),
    checkpoint(154, 494, 6.25341),
    checkpoint(154, 492, 6.25341),
    checkpoint(154, 490, 6.25341),
    checkpoint(154, 488, 6.25341),
    checkpoint(154, 487, 6.25341),
    checkpoint(154, 485, 6.25341),
    checkpoint(154, 483, 6.25341),
    checkpoint(155, 481, 6.26),
    checkpoint(155, 479, 6.26),
    checkpoint(155, 478, 6.26),
    checkpoint(155, 476, 6.26),
    checkpoint(155, 474, 6.26),
    checkpoint(155, 472, 6.26),
    checkpoint(155, 471, 6.26),
    checkpoint(155, 469, 6.26),
    checkpoint(155, 467, 6.26),
    checkpoint(155, 465, 6.26),
    checkpoint(155, 463, 6.26),
    checkpoint(155, 462, 6.26),
    checkpoint(155, 460, 6.26),
    checkpoint(155, 458, 6.26),
    checkpoint(155, 456, 6.27),
    checkpoint(155, 454, 6.27),
    checkpoint(155, 453, 6.27),
    checkpoint(155, 451, 6.27),
    checkpoint(155, 449, 6.27),
    checkpoint(155, 447, 6.27),
    checkpoint(155, 446, 6.27),
    checkpoint(155, 444, 6.27),
    checkpoint(155, 442, 6.27),
    checkpoint(155, 440, 6.27),
    checkpoint(155, 438, 6.27),
    checkpoint(155, 437, 6.27),
};

}

#endif
